1. Basic proof theory
پدیدآورنده : Troelstra, A. S. )Anne Sjerp(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
T76
2000
2. Constructivism in mathematics : an introduction
پدیدآورنده : Troelstra, A. S.)Anne Sjerp(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Constructive mathematics
رده :
QA
9
.
56
.
T74
1988
3. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : Troelstra, A. S. )Anne Sjerp(
موضوع : ، Intuitionistic mathematics,، Proof theory,، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. Principles of intuitionism
پدیدآورنده : Troelstra, A. S. )Anne Sjerp(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Intuitionistic mathematics
رده :
QA
3
.
L28
no
.
95
